Covariance and contravariance - PDFSEARCH.IO - Document Search Engine

Covariance and contravariance
Results: 93

#	Item
11	Value Classes in Scala Lukas Rytz, Typesafe Value Classes in Scala • Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Object-oriented programming languages Functional programming Type theory Scala Immutable object Xtend C++ classes Covariance and contravariance Type class
12	Open Multi-Methods for C++ Peter Pirkelbauer Yuriy Solodkyy Bjarne Stroustrup Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:34:34 Method Object-oriented programming C++ Polymorphism Multiple dispatch Virtual method table This C++11 Covariance and contravariance Late binding Inheritance Dynamic dispatch
13	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type
14	MOODY COUNTY VARIANCE APPLICATION VARIANCE NUMBER _________________ BUILDING PERMIT NUMBER _________________ APPLICANT (PRINT): ____________________________________ PHONE: ____________________________________ Add to Reading List Source URL: www.moodycounty.net Language: English - Date: 2016-01-20 10:54:10 Local government in the United States Variance Zoning Covariance and contravariance
15	Microsoft Word - ZBA MEETING Add to Reading List Source URL: www.cubany.org Language: English - Date: 2015-06-02 09:56:11 Zoning Real estate Real property law Local government in the United States Variance Covariance and contravariance Commercial area Nease
16	Microsoft WordMeeting Minutes Add to Reading List Source URL: www.townofbrunswick.org Language: English - Date: 2016-08-06 19:19:38 Zoning Variance Setback Covariance and contravariance
17	Are Stocks Really Less Volatile in the Long Run? ˇ ´ LUBO Sˇ PASTOR Add to Reading List Source URL: www.q-group.org Language: English - Date: 2016-03-25 20:51:45 Statistics Data analysis Analysis Mathematical finance Least squares Variance Standard deviation Volatility Coefficient of determination Autoregressive model Covariance and contravariance Expected value
18	Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT Add to Reading List Source URL: karpinski.org Language: English - Date: 2016-04-13 16:19:52 Software engineering Computer programming Computing Type theory Data types Polymorphism Object-oriented programming Subroutines Covariance and contravariance Parameter Type system Anonymous function
19	Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Software engineering Type theory Programming language theory Computing Parametric polymorphism Polymorphism Type system Covariance and contravariance HindleyMilner type system Type inference Subtyping System F
20	On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-08-04 23:16:28 Software engineering Type theory Object-oriented programming Computing Computer programming Data types Polymorphism Functional programming Covariance and contravariance Subtyping Generalized algebraic data type Variance